home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / web / spiderweb / tools / shortindex < prev   
Text File  |  1988-07-21  |  140b  |  4 lines
  1. #!/bin/csh -f
  2. # Make a ``short index'' for file $1
  3. grep "^\\:\{" $1.tex | cat ~ada/tex/indexhead.tex - ~ada/tex/indextail.tex > short$1.tex
  4.